1. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
پدیدآورنده : Didier Galmiche )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1227
2. Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 1997 : revised lectures
پدیدآورنده : Willem-Paul de Roever, Hans Langmaack, Amir Pnueli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1536
